
                               %Relations%

        Relations consist of two or three expressions seperated by
  inequalities.

  %Examples%

  þR1 : x^2 + y^2 <= c^2
  þR2 : 0 < %Ÿ%{a,x} f(t) %d%(t) < x

        Note that R1 and R2 are labels corresponding to relations.


